node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,16) :- #0.735.
link(16,1) :- #0.043.
link(1,52) :- #0.597.
link(52,1) :- #0.061.
link(1,68) :- #0.15.
link(68,1) :- #0.266.
link(1,79) :- #0.96.
link(79,1) :- #0.816.
link(1,81) :- #0.655.
link(81,1) :- #0.315.
link(1,87) :- #0.639.
link(87,1) :- #0.946.
link(1,99) :- #0.052.
link(99,1) :- #0.579.
link(1,118) :- #0.879.
link(118,1) :- #0.426.
link(1,135) :- #0.156.
link(135,1) :- #0.914.
link(1,136) :- #0.81.
link(136,1) :- #0.718.
link(2,5) :- #0.599.
link(5,2) :- #0.181.
link(2,20) :- #0.909.
link(20,2) :- #0.445.
link(2,22) :- #0.673.
link(22,2) :- #0.179.
link(2,37) :- #0.509.
link(37,2) :- #0.717.
link(2,47) :- #0.611.
link(47,2) :- #0.067.
link(2,72) :- #0.226.
link(72,2) :- #0.875.
link(2,74) :- #0.815.
link(74,2) :- #0.191.
link(2,101) :- #0.68.
link(101,2) :- #0.673.
link(2,128) :- #0.811.
link(128,2) :- #0.488.
link(2,131) :- #0.183.
link(131,2) :- #0.613.
link(3,19) :- #0.685.
link(19,3) :- #0.04.
link(3,22) :- #0.475.
link(22,3) :- #0.118.
link(3,24) :- #0.47.
link(24,3) :- #0.563.
link(3,33) :- #0.439.
link(33,3) :- #0.946.
link(3,44) :- #0.555.
link(44,3) :- #0.432.
link(3,58) :- #0.884.
link(58,3) :- #0.214.
link(3,63) :- #0.47.
link(63,3) :- #0.919.
link(3,65) :- #0.456.
link(65,3) :- #0.015.
link(3,115) :- #0.979.
link(115,3) :- #0.633.
link(3,119) :- #0.1.
link(119,3) :- #0.938.
link(4,27) :- #0.002.
link(27,4) :- #0.109.
link(4,33) :- #0.818.
link(33,4) :- #0.32.
link(4,38) :- #0.444.
link(38,4) :- #0.427.
link(4,42) :- #0.064.
link(42,4) :- #0.288.
link(4,56) :- #0.24.
link(56,4) :- #0.796.
link(4,60) :- #0.699.
link(60,4) :- #0.14.
link(4,65) :- #0.108.
link(65,4) :- #0.829.
link(4,67) :- #0.909.
link(67,4) :- #0.411.
link(4,80) :- #0.332.
link(80,4) :- #0.718.
link(4,83) :- #0.795.
link(83,4) :- #0.678.
link(4,87) :- #0.976.
link(87,4) :- #0.543.
link(4,103) :- #0.045.
link(103,4) :- #0.311.
link(4,120) :- #0.938.
link(120,4) :- #0.269.
link(4,121) :- #0.241.
link(121,4) :- #0.597.
link(4,137) :- #0.125.
link(137,4) :- #0.794.
link(5,14) :- #0.183.
link(14,5) :- #0.138.
link(5,21) :- #0.406.
link(21,5) :- #0.126.
link(5,42) :- #0.321.
link(42,5) :- #0.623.
link(5,50) :- #0.232.
link(50,5) :- #0.955.
link(5,62) :- #0.93.
link(62,5) :- #0.863.
link(5,72) :- #0.343.
link(72,5) :- #0.72.
link(5,83) :- #0.281.
link(83,5) :- #0.812.
link(5,87) :- #0.705.
link(87,5) :- #0.591.
link(5,116) :- #0.48.
link(116,5) :- #0.516.
link(5,121) :- #0.032.
link(121,5) :- #0.526.
link(5,126) :- #0.194.
link(126,5) :- #0.127.
link(5,128) :- #0.172.
link(128,5) :- #0.933.
link(6,10) :- #0.552.
link(10,6) :- #0.091.
link(6,26) :- #0.62.
link(26,6) :- #0.047.
link(6,27) :- #0.614.
link(27,6) :- #0.985.
link(6,40) :- #0.963.
link(40,6) :- #0.502.
link(6,52) :- #0.942.
link(52,6) :- #0.615.
link(6,54) :- #0.498.
link(54,6) :- #0.144.
link(6,58) :- #0.698.
link(58,6) :- #0.523.
link(6,59) :- #0.475.
link(59,6) :- #0.596.
link(6,65) :- #0.979.
link(65,6) :- #0.865.
link(6,127) :- #0.601.
link(127,6) :- #0.8.
link(6,134) :- #0.607.
link(134,6) :- #0.427.
link(6,135) :- #0.991.
link(135,6) :- #0.621.
link(6,137) :- #0.733.
link(137,6) :- #0.706.
link(6,140) :- #0.638.
link(140,6) :- #0.747.
link(7,48) :- #0.222.
link(48,7) :- #0.29.
link(7,58) :- #0.613.
link(58,7) :- #0.78.
link(7,139) :- #0.028.
link(139,7) :- #0.03.
link(7,140) :- #0.411.
link(140,7) :- #0.401.
link(8,9) :- #0.676.
link(9,8) :- #0.665.
link(8,12) :- #0.447.
link(12,8) :- #0.484.
link(8,13) :- #0.191.
link(13,8) :- #0.869.
link(8,16) :- #0.452.
link(16,8) :- #0.435.
link(8,18) :- #0.731.
link(18,8) :- #0.129.
link(8,22) :- #0.086.
link(22,8) :- #0.944.
link(8,40) :- #0.007.
link(40,8) :- #0.294.
link(8,52) :- #0.18.
link(52,8) :- #0.907.
link(8,53) :- #0.798.
link(53,8) :- #0.938.
link(8,56) :- #0.728.
link(56,8) :- #0.791.
link(8,76) :- #0.512.
link(76,8) :- #0.375.
link(8,85) :- #0.656.
link(85,8) :- #0.308.
link(8,95) :- #0.259.
link(95,8) :- #0.096.
link(8,102) :- #0.983.
link(102,8) :- #0.274.
link(8,104) :- #0.123.
link(104,8) :- #0.592.
link(8,115) :- #0.821.
link(115,8) :- #0.046.
link(8,117) :- #0.819.
link(117,8) :- #0.957.
link(8,122) :- #0.528.
link(122,8) :- #0.489.
link(9,15) :- #0.07.
link(15,9) :- #0.792.
link(9,27) :- #0.752.
link(27,9) :- #0.872.
link(9,31) :- #0.787.
link(31,9) :- #0.786.
link(9,32) :- #0.302.
link(32,9) :- #0.383.
link(9,52) :- #0.285.
link(52,9) :- #0.978.
link(9,57) :- #0.124.
link(57,9) :- #0.508.
link(9,89) :- #0.577.
link(89,9) :- #0.079.
link(9,92) :- #0.84.
link(92,9) :- #0.755.
link(9,99) :- #0.681.
link(99,9) :- #0.99.
link(9,104) :- #0.512.
link(104,9) :- #0.256.
link(9,109) :- #0.184.
link(109,9) :- #0.821.
link(9,112) :- #0.708.
link(112,9) :- #0.279.
link(9,119) :- #0.236.
link(119,9) :- #0.362.
link(9,130) :- #0.644.
link(130,9) :- #0.687.
link(9,137) :- #0.122.
link(137,9) :- #0.245.
link(10,23) :- #0.699.
link(23,10) :- #0.677.
link(10,25) :- #0.414.
link(25,10) :- #0.508.
link(10,96) :- #0.96.
link(96,10) :- #0.61.
link(10,111) :- #0.075.
link(111,10) :- #0.161.
link(10,131) :- #0.647.
link(131,10) :- #0.503.
link(11,22) :- #0.241.
link(22,11) :- #0.667.
link(11,39) :- #0.128.
link(39,11) :- #0.379.
link(11,41) :- #0.533.
link(41,11) :- #0.335.
link(11,55) :- #0.212.
link(55,11) :- #0.647.
link(11,57) :- #0.768.
link(57,11) :- #0.952.
link(11,79) :- #0.236.
link(79,11) :- #0.277.
link(11,83) :- #0.807.
link(83,11) :- #0.968.
link(11,90) :- #0.996.
link(90,11) :- #0.608.
link(11,96) :- #0.778.
link(96,11) :- #0.213.
link(11,104) :- #0.463.
link(104,11) :- #0.135.
link(11,114) :- #0.118.
link(114,11) :- #0.808.
link(11,122) :- #0.684.
link(122,11) :- #0.765.
link(11,127) :- #0.3.
link(127,11) :- #0.38.
link(11,138) :- #0.943.
link(138,11) :- #0.573.
link(12,18) :- #0.888.
link(18,12) :- #0.052.
link(12,35) :- #0.677.
link(35,12) :- #0.376.
link(12,36) :- #0.937.
link(36,12) :- #0.399.
link(12,51) :- #0.394.
link(51,12) :- #0.249.
link(12,55) :- #0.006.
link(55,12) :- #0.756.
link(12,56) :- #0.887.
link(56,12) :- #0.793.
link(12,68) :- #0.038.
link(68,12) :- #0.866.
link(12,70) :- #0.851.
link(70,12) :- #0.289.
link(12,91) :- #0.55.
link(91,12) :- #0.131.
link(12,103) :- #0.903.
link(103,12) :- #0.441.
link(12,128) :- #0.493.
link(128,12) :- #0.005.
link(12,138) :- #0.483.
link(138,12) :- #0.613.
link(13,53) :- #0.413.
link(53,13) :- #0.753.
link(13,57) :- #0.771.
link(57,13) :- #0.423.
link(13,62) :- #0.265.
link(62,13) :- #0.671.
link(13,83) :- #0.057.
link(83,13) :- #0.261.
link(13,97) :- #0.337.
link(97,13) :- #0.423.
link(13,125) :- #0.991.
link(125,13) :- #0.227.
link(13,131) :- #0.851.
link(131,13) :- #0.662.
link(13,134) :- #0.069.
link(134,13) :- #0.892.
link(13,138) :- #0.08.
link(138,13) :- #0.127.
link(14,16) :- #0.166.
link(16,14) :- #0.922.
link(14,23) :- #0.49.
link(23,14) :- #0.727.
link(14,30) :- #0.977.
link(30,14) :- #0.59.
link(14,34) :- #0.853.
link(34,14) :- #0.321.
link(14,43) :- #0.911.
link(43,14) :- #0.362.
link(14,58) :- #0.327.
link(58,14) :- #0.329.
link(14,65) :- #0.197.
link(65,14) :- #0.758.
link(14,82) :- #0.68.
link(82,14) :- #0.537.
link(14,87) :- #0.288.
link(87,14) :- #0.421.
link(14,92) :- #0.71.
link(92,14) :- #0.369.
link(14,105) :- #0.784.
link(105,14) :- #0.379.
link(14,125) :- #0.069.
link(125,14) :- #0.151.
link(14,131) :- #0.004.
link(131,14) :- #0.974.
link(14,135) :- #0.463.
link(135,14) :- #0.831.
link(15,20) :- #0.766.
link(20,15) :- #0.155.
link(15,22) :- #0.191.
link(22,15) :- #0.978.
link(15,40) :- #0.084.
link(40,15) :- #0.382.
link(15,50) :- #0.279.
link(50,15) :- #0.507.
link(15,64) :- #0.135.
link(64,15) :- #0.079.
link(15,65) :- #0.833.
link(65,15) :- #0.271.
link(15,70) :- #0.531.
link(70,15) :- #0.531.
link(15,81) :- #0.348.
link(81,15) :- #0.773.
link(15,123) :- #0.384.
link(123,15) :- #0.805.
link(16,18) :- #0.512.
link(18,16) :- #0.596.
link(16,29) :- #0.727.
link(29,16) :- #0.042.
link(16,40) :- #0.969.
link(40,16) :- #0.674.
link(16,46) :- #0.332.
link(46,16) :- #0.775.
link(16,67) :- #0.479.
link(67,16) :- #0.011.
link(16,68) :- #0.001.
link(68,16) :- #0.146.
link(16,103) :- #0.134.
link(103,16) :- #0.403.
link(16,106) :- #0.662.
link(106,16) :- #0.438.
link(16,118) :- #0.849.
link(118,16) :- #0.947.
link(16,120) :- #0.804.
link(120,16) :- #0.857.
link(16,130) :- #0.064.
link(130,16) :- #0.659.
link(16,131) :- #0.256.
link(131,16) :- #0.045.
link(17,20) :- #0.674.
link(20,17) :- #0.213.
link(17,40) :- #0.425.
link(40,17) :- #0.481.
link(17,45) :- #0.217.
link(45,17) :- #0.235.
link(17,65) :- #0.941.
link(65,17) :- #0.471.
link(17,89) :- #0.631.
link(89,17) :- #0.565.
link(17,90) :- #0.01.
link(90,17) :- #0.234.
link(17,95) :- #0.557.
link(95,17) :- #0.639.
link(17,96) :- #0.69.
link(96,17) :- #0.196.
link(17,108) :- #0.905.
link(108,17) :- #0.371.
link(17,109) :- #0.953.
link(109,17) :- #0.691.
link(17,120) :- #0.789.
link(120,17) :- #0.503.
link(17,125) :- #0.688.
link(125,17) :- #0.101.
link(17,131) :- #0.973.
link(131,17) :- #0.988.
link(17,139) :- #0.383.
link(139,17) :- #0.092.
link(18,26) :- #0.787.
link(26,18) :- #0.03.
link(18,43) :- #0.91.
link(43,18) :- #0.018.
link(18,62) :- #0.249.
link(62,18) :- #0.625.
link(18,64) :- #0.544.
link(64,18) :- #0.046.
link(18,88) :- #0.708.
link(88,18) :- #0.759.
link(18,98) :- #0.046.
link(98,18) :- #0.031.
link(18,102) :- #0.973.
link(102,18) :- #0.598.
link(18,138) :- #0.397.
link(138,18) :- #0.027.
link(19,30) :- #0.101.
link(30,19) :- #0.476.
link(19,31) :- #0.635.
link(31,19) :- #0.364.
link(19,38) :- #0.311.
link(38,19) :- #0.116.
link(19,51) :- #0.608.
link(51,19) :- #0.15.
link(19,54) :- #0.906.
link(54,19) :- #0.184.
link(19,57) :- #0.288.
link(57,19) :- #0.324.
link(19,59) :- #0.338.
link(59,19) :- #0.927.
link(19,65) :- #0.448.
link(65,19) :- #0.123.
link(19,74) :- #0.369.
link(74,19) :- #0.682.
link(19,98) :- #0.724.
link(98,19) :- #0.188.
link(19,103) :- #0.493.
link(103,19) :- #0.452.
link(19,119) :- #0.793.
link(119,19) :- #0.918.
link(19,136) :- #0.784.
link(136,19) :- #0.422.
link(20,31) :- #0.149.
link(31,20) :- #0.075.
link(20,36) :- #0.129.
link(36,20) :- #0.286.
link(20,46) :- #0.548.
link(46,20) :- #0.697.
link(20,48) :- #0.435.
link(48,20) :- #0.023.
link(20,69) :- #0.203.
link(69,20) :- #0.862.
link(20,70) :- #0.965.
link(70,20) :- #0.293.
link(20,78) :- #0.343.
link(78,20) :- #0.717.
link(20,86) :- #0.299.
link(86,20) :- #0.013.
link(20,92) :- #0.276.
link(92,20) :- #0.904.
link(20,94) :- #0.635.
link(94,20) :- #0.865.
link(20,102) :- #0.262.
link(102,20) :- #0.502.
link(20,103) :- #0.837.
link(103,20) :- #0.125.
link(20,104) :- #0.521.
link(104,20) :- #0.89.
link(20,105) :- #0.008.
link(105,20) :- #0.302.
link(20,110) :- #0.703.
link(110,20) :- #0.332.
link(20,112) :- #0.715.
link(112,20) :- #0.738.
link(20,116) :- #0.302.
link(116,20) :- #0.469.
link(20,120) :- #0.647.
link(120,20) :- #0.67.
link(20,121) :- #0.215.
link(121,20) :- #0.188.
link(20,124) :- #0.378.
link(124,20) :- #0.864.
link(20,126) :- #0.114.
link(126,20) :- #0.347.
link(20,132) :- #0.598.
link(132,20) :- #0.977.
link(21,23) :- #0.295.
link(23,21) :- #0.675.
link(21,43) :- #0.202.
link(43,21) :- #0.434.
link(21,49) :- #0.256.
link(49,21) :- #0.491.
link(21,52) :- #0.65.
link(52,21) :- #0.931.
link(21,54) :- #0.681.
link(54,21) :- #0.04.
link(21,64) :- #0.376.
link(64,21) :- #0.46.
link(21,67) :- #0.663.
link(67,21) :- #0.66.
link(21,73) :- #0.402.
link(73,21) :- #0.109.
link(21,78) :- #0.639.
link(78,21) :- #0.38.
link(21,83) :- #0.758.
link(83,21) :- #0.112.
link(21,113) :- #0.318.
link(113,21) :- #0.998.
link(21,115) :- #0.706.
link(115,21) :- #0.859.
link(21,132) :- #0.095.
link(132,21) :- #0.289.
link(21,138) :- #0.686.
link(138,21) :- #0.622.
link(22,38) :- #0.653.
link(38,22) :- #0.566.
link(22,40) :- #0.553.
link(40,22) :- #0.866.
link(22,56) :- #0.255.
link(56,22) :- #0.715.
link(22,69) :- #0.158.
link(69,22) :- #0.426.
link(22,107) :- #0.143.
link(107,22) :- #0.77.
link(22,111) :- #0.046.
link(111,22) :- #0.881.
link(22,118) :- #0.509.
link(118,22) :- #0.537.
link(23,27) :- #0.809.
link(27,23) :- #0.93.
link(23,28) :- #0.093.
link(28,23) :- #0.348.
link(23,45) :- #0.875.
link(45,23) :- #0.776.
link(23,52) :- #0.01.
link(52,23) :- #0.454.
link(23,58) :- #0.877.
link(58,23) :- #0.823.
link(23,68) :- #0.258.
link(68,23) :- #0.206.
link(23,77) :- #0.641.
link(77,23) :- #0.734.
link(23,100) :- #0.311.
link(100,23) :- #0.058.
link(23,104) :- #0.684.
link(104,23) :- #0.895.
link(23,107) :- #0.512.
link(107,23) :- #0.698.
link(23,108) :- #0.428.
link(108,23) :- #0.088.
link(23,116) :- #0.837.
link(116,23) :- #0.629.
link(23,117) :- #0.207.
link(117,23) :- #0.938.
link(23,123) :- #0.25.
link(123,23) :- #0.083.
link(23,135) :- #0.268.
link(135,23) :- #0.042.
link(24,27) :- #0.748.
link(27,24) :- #0.035.
link(24,28) :- #0.995.
link(28,24) :- #0.386.
link(24,31) :- #0.596.
link(31,24) :- #0.805.
link(24,43) :- #0.538.
link(43,24) :- #0.284.
link(24,48) :- #0.013.
link(48,24) :- #0.319.
link(24,53) :- #0.02.
link(53,24) :- #0.04.
link(24,66) :- #0.756.
link(66,24) :- #0.928.
link(24,77) :- #0.846.
link(77,24) :- #0.261.
link(24,78) :- #0.054.
link(78,24) :- #0.006.
link(24,107) :- #0.063.
link(107,24) :- #0.37.
link(24,125) :- #0.082.
link(125,24) :- #0.511.
link(24,131) :- #0.696.
link(131,24) :- #0.74.
link(24,134) :- #0.409.
link(134,24) :- #0.885.
link(24,135) :- #0.875.
link(135,24) :- #0.615.
link(25,41) :- #0.47.
link(41,25) :- #0.989.
link(25,42) :- #0.056.
link(42,25) :- #0.112.
link(25,53) :- #0.242.
link(53,25) :- #0.055.
link(25,56) :- #0.666.
link(56,25) :- #0.156.
link(25,69) :- #0.759.
link(69,25) :- #0.637.
link(25,75) :- #0.969.
link(75,25) :- #0.78.
link(25,79) :- #0.391.
link(79,25) :- #0.313.
link(25,82) :- #0.447.
link(82,25) :- #0.378.
link(25,103) :- #0.675.
link(103,25) :- #0.006.
link(25,126) :- #0.525.
link(126,25) :- #0.894.
link(26,32) :- #0.854.
link(32,26) :- #0.535.
link(26,45) :- #0.367.
link(45,26) :- #0.581.
link(26,46) :- #0.711.
link(46,26) :- #0.83.
link(26,50) :- #0.826.
link(50,26) :- #0.647.
link(26,58) :- #0.303.
link(58,26) :- #0.578.
link(26,61) :- #0.461.
link(61,26) :- #0.306.
link(26,65) :- #0.03.
link(65,26) :- #0.272.
link(26,72) :- #0.073.
link(72,26) :- #0.295.
link(26,80) :- #0.214.
link(80,26) :- #0.356.
link(26,83) :- #0.176.
link(83,26) :- #0.832.
link(26,91) :- #0.141.
link(91,26) :- #0.518.
link(26,97) :- #0.513.
link(97,26) :- #0.127.
link(26,111) :- #0.704.
link(111,26) :- #0.178.
link(26,117) :- #0.605.
link(117,26) :- #0.486.
link(26,120) :- #0.592.
link(120,26) :- #0.703.
link(26,132) :- #0.819.
link(132,26) :- #0.582.
link(26,133) :- #0.005.
link(133,26) :- #0.127.
link(26,134) :- #0.64.
link(134,26) :- #0.843.
link(27,35) :- #0.411.
link(35,27) :- #0.83.
link(27,53) :- #0.383.
link(53,27) :- #0.841.
link(27,67) :- #0.784.
link(67,27) :- #0.265.
link(27,75) :- #0.126.
link(75,27) :- #0.859.
link(27,84) :- #0.333.
link(84,27) :- #0.882.
link(27,94) :- #0.144.
link(94,27) :- #0.299.
link(27,122) :- #0.196.
link(122,27) :- #0.684.
link(27,129) :- #0.682.
link(129,27) :- #0.462.
link(27,135) :- #0.147.
link(135,27) :- #0.577.
link(27,139) :- #0.813.
link(139,27) :- #0.445.
link(28,35) :- #0.635.
link(35,28) :- #0.017.
link(28,38) :- #0.056.
link(38,28) :- #0.17.
link(28,45) :- #0.615.
link(45,28) :- #0.309.
link(28,57) :- #0.789.
link(57,28) :- #0.863.
link(28,68) :- #0.637.
link(68,28) :- #0.789.
link(28,100) :- #0.768.
link(100,28) :- #0.83.
link(28,105) :- #0.526.
link(105,28) :- #0.637.
link(28,111) :- #0.619.
link(111,28) :- #0.265.
link(28,112) :- #0.301.
link(112,28) :- #0.172.
link(28,113) :- #0.29.
link(113,28) :- #0.696.
link(28,124) :- #0.381.
link(124,28) :- #0.326.
link(28,126) :- #0.613.
link(126,28) :- #0.665.
link(28,135) :- #0.863.
link(135,28) :- #0.034.
link(29,48) :- #0.254.
link(48,29) :- #0.654.
link(29,58) :- #0.115.
link(58,29) :- #0.349.
link(29,61) :- #0.087.
link(61,29) :- #0.101.
link(29,76) :- #0.796.
link(76,29) :- #0.882.
link(29,81) :- #0.958.
link(81,29) :- #0.556.
link(29,84) :- #0.038.
link(84,29) :- #0.436.
link(29,86) :- #0.765.
link(86,29) :- #0.573.
link(29,91) :- #0.919.
link(91,29) :- #0.247.
link(29,95) :- #0.974.
link(95,29) :- #0.327.
link(29,122) :- #0.86.
link(122,29) :- #0.752.
link(30,32) :- #0.054.
link(32,30) :- #0.203.
link(30,33) :- #0.493.
link(33,30) :- #0.288.
link(30,52) :- #0.815.
link(52,30) :- #0.685.
link(30,54) :- #0.278.
link(54,30) :- #0.996.
link(30,55) :- #0.308.
link(55,30) :- #0.959.
link(30,56) :- #0.245.
link(56,30) :- #0.91.
link(30,84) :- #0.406.
link(84,30) :- #0.086.
link(30,86) :- #0.105.
link(86,30) :- #0.788.
link(30,90) :- #0.637.
link(90,30) :- #0.694.
link(30,94) :- #0.575.
link(94,30) :- #0.493.
link(30,105) :- #0.589.
link(105,30) :- #0.779.
link(30,110) :- #0.32.
link(110,30) :- #0.501.
link(30,111) :- #0.555.
link(111,30) :- #0.632.
link(30,120) :- #0.925.
link(120,30) :- #0.404.
link(30,125) :- #0.01.
link(125,30) :- #0.634.
link(31,48) :- #0.75.
link(48,31) :- #0.786.
link(31,50) :- #0.546.
link(50,31) :- #0.921.
link(31,60) :- #0.477.
link(60,31) :- #0.828.
link(31,81) :- #0.505.
link(81,31) :- #0.78.
link(31,98) :- #0.316.
link(98,31) :- #0.935.
link(31,108) :- #0.626.
link(108,31) :- #0.3.
link(31,125) :- #0.853.
link(125,31) :- #0.092.
link(31,138) :- #0.553.
link(138,31) :- #0.937.
link(32,54) :- #0.897.
link(54,32) :- #0.856.
link(32,61) :- #0.099.
link(61,32) :- #0.497.
link(32,67) :- #0.48.
link(67,32) :- #0.58.
link(32,75) :- #0.436.
link(75,32) :- #0.717.
link(32,81) :- #0.903.
link(81,32) :- #0.907.
link(32,82) :- #0.024.
link(82,32) :- #0.446.
link(32,84) :- #0.625.
link(84,32) :- #0.542.
link(32,92) :- #0.513.
link(92,32) :- #0.13.
link(32,97) :- #0.616.
link(97,32) :- #0.016.
link(32,104) :- #0.343.
link(104,32) :- #0.046.
link(32,120) :- #0.899.
link(120,32) :- #0.587.
link(32,136) :- #0.395.
link(136,32) :- #0.965.
link(33,57) :- #0.146.
link(57,33) :- #0.552.
link(33,58) :- #0.22.
link(58,33) :- #0.744.
link(33,64) :- #0.183.
link(64,33) :- #0.41.
link(33,80) :- #0.895.
link(80,33) :- #0.715.
link(33,87) :- #0.691.
link(87,33) :- #0.167.
link(33,91) :- #0.93.
link(91,33) :- #0.882.
link(33,96) :- #0.524.
link(96,33) :- #0.361.
link(33,99) :- #0.317.
link(99,33) :- #0.252.
link(33,107) :- #0.357.
link(107,33) :- #0.412.
link(33,111) :- #0.53.
link(111,33) :- #0.394.
link(33,117) :- #0.54.
link(117,33) :- #0.783.
link(33,123) :- #0.036.
link(123,33) :- #0.505.
link(33,126) :- #0.445.
link(126,33) :- #0.253.
link(33,129) :- #0.63.
link(129,33) :- #0.158.
link(34,42) :- #0.258.
link(42,34) :- #0.66.
link(34,60) :- #0.345.
link(60,34) :- #0.965.
link(34,75) :- #0.525.
link(75,34) :- #0.774.
link(34,92) :- #0.811.
link(92,34) :- #0.009.
link(34,95) :- #0.122.
link(95,34) :- #0.011.
link(34,98) :- #0.229.
link(98,34) :- #0.002.
link(34,103) :- #0.026.
link(103,34) :- #0.208.
link(34,106) :- #0.638.
link(106,34) :- #0.208.
link(34,111) :- #0.112.
link(111,34) :- #0.643.
link(34,124) :- #0.068.
link(124,34) :- #0.575.
link(34,130) :- #0.357.
link(130,34) :- #0.189.
link(34,131) :- #0.725.
link(131,34) :- #0.92.
link(34,137) :- #0.526.
link(137,34) :- #0.303.
link(35,44) :- #0.262.
link(44,35) :- #0.143.
link(35,48) :- #0.753.
link(48,35) :- #0.534.
link(35,53) :- #0.062.
link(53,35) :- #0.106.
link(35,63) :- #0.995.
link(63,35) :- #0.051.
link(35,70) :- #0.435.
link(70,35) :- #0.259.
link(35,76) :- #0.15.
link(76,35) :- #0.14.
link(35,80) :- #0.61.
link(80,35) :- #0.052.
link(35,82) :- #0.751.
link(82,35) :- #0.644.
link(35,105) :- #0.182.
link(105,35) :- #0.613.
link(35,106) :- #0.394.
link(106,35) :- #0.617.
link(35,115) :- #0.241.
link(115,35) :- #0.689.
link(35,122) :- #0.96.
link(122,35) :- #0.052.
link(35,129) :- #0.276.
link(129,35) :- #0.016.
link(36,39) :- #0.999.
link(39,36) :- #0.081.
link(36,51) :- #0.219.
link(51,36) :- #0.718.
link(36,56) :- #0.207.
link(56,36) :- #0.797.
link(36,62) :- #0.889.
link(62,36) :- #0.168.
link(36,67) :- #0.487.
link(67,36) :- #0.118.
link(36,104) :- #0.784.
link(104,36) :- #0.547.
link(36,114) :- #0.855.
link(114,36) :- #0.659.
link(36,115) :- #0.663.
link(115,36) :- #0.863.
link(36,117) :- #0.072.
link(117,36) :- #0.334.
link(36,122) :- #0.847.
link(122,36) :- #0.993.
link(36,123) :- #0.036.
link(123,36) :- #0.438.
link(36,130) :- #0.373.
link(130,36) :- #0.653.
link(36,136) :- #0.065.
link(136,36) :- #0.037.
link(36,138) :- #0.475.
link(138,36) :- #0.735.
link(37,50) :- #0.525.
link(50,37) :- #0.9.
link(37,60) :- #0.556.
link(60,37) :- #0.914.
link(37,61) :- #0.939.
link(61,37) :- #0.54.
link(37,100) :- #0.611.
link(100,37) :- #0.519.
link(37,105) :- #0.562.
link(105,37) :- #0.704.
link(37,138) :- #0.691.
link(138,37) :- #0.656.
link(38,45) :- #0.399.
link(45,38) :- #0.311.
link(38,47) :- #0.442.
link(47,38) :- #0.212.
link(38,52) :- #0.019.
link(52,38) :- #0.133.
link(38,88) :- #0.437.
link(88,38) :- #0.41.
link(38,89) :- #0.195.
link(89,38) :- #0.666.
link(38,116) :- #0.921.
link(116,38) :- #0.886.
link(38,123) :- #0.918.
link(123,38) :- #0.69.
link(38,137) :- #0.001.
link(137,38) :- #0.999.
link(39,45) :- #0.624.
link(45,39) :- #0.025.
link(39,58) :- #0.231.
link(58,39) :- #0.259.
link(39,63) :- #0.459.
link(63,39) :- #0.171.
link(39,67) :- #0.896.
link(67,39) :- #0.027.
link(39,81) :- #0.869.
link(81,39) :- #0.766.
link(39,86) :- #0.379.
link(86,39) :- #0.97.
link(39,89) :- #0.14.
link(89,39) :- #0.68.
link(39,91) :- #0.255.
link(91,39) :- #0.496.
link(39,101) :- #0.363.
link(101,39) :- #0.599.
link(39,105) :- #0.68.
link(105,39) :- #0.385.
link(39,106) :- #0.503.
link(106,39) :- #0.125.
link(39,128) :- #0.376.
link(128,39) :- #0.01.
link(39,130) :- #0.351.
link(130,39) :- #0.987.
link(40,42) :- #0.661.
link(42,40) :- #0.837.
link(40,45) :- #0.296.
link(45,40) :- #0.152.
link(40,63) :- #0.357.
link(63,40) :- #0.679.
link(40,80) :- #0.705.
link(80,40) :- #0.54.
link(40,81) :- #0.738.
link(81,40) :- #0.464.
link(40,85) :- #0.583.
link(85,40) :- #0.139.
link(40,86) :- #0.531.
link(86,40) :- #0.969.
link(40,92) :- #0.825.
link(92,40) :- #0.53.
link(40,93) :- #0.13.
link(93,40) :- #0.119.
link(40,98) :- #0.432.
link(98,40) :- #0.829.
link(40,108) :- #0.896.
link(108,40) :- #0.423.
link(40,110) :- #0.158.
link(110,40) :- #0.604.
link(40,112) :- #0.626.
link(112,40) :- #0.117.
link(40,114) :- #0.33.
link(114,40) :- #0.401.
link(40,120) :- #0.904.
link(120,40) :- #0.392.
link(40,135) :- #0.461.
link(135,40) :- #0.549.
link(41,42) :- #0.199.
link(42,41) :- #0.969.
link(41,69) :- #0.405.
link(69,41) :- #0.328.
link(41,80) :- #0.762.
link(80,41) :- #0.671.
link(41,93) :- #0.44.
link(93,41) :- #0.486.
link(41,97) :- #0.977.
link(97,41) :- #0.596.
link(41,99) :- #0.879.
link(99,41) :- #0.12.
link(41,106) :- #0.885.
link(106,41) :- #0.187.
link(41,113) :- #0.825.
link(113,41) :- #0.196.
link(41,114) :- #0.727.
link(114,41) :- #0.987.
link(41,119) :- #0.885.
link(119,41) :- #0.183.
link(41,125) :- #0.245.
link(125,41) :- #0.7.
link(41,131) :- #0.21.
link(131,41) :- #0.349.
link(41,140) :- #0.864.
link(140,41) :- #0.652.
link(42,52) :- #0.966.
link(52,42) :- #0.348.
link(42,61) :- #0.152.
link(61,42) :- #0.837.
link(42,64) :- #0.28.
link(64,42) :- #0.308.
link(42,71) :- #0.956.
link(71,42) :- #0.738.
link(42,78) :- #0.09.
link(78,42) :- #0.271.
link(42,82) :- #0.434.
link(82,42) :- #0.606.
link(42,93) :- #0.117.
link(93,42) :- #0.831.
link(42,96) :- #0.839.
link(96,42) :- #0.175.
link(42,99) :- #0.999.
link(99,42) :- #0.844.
link(42,114) :- #0.057.
link(114,42) :- #0.968.
link(42,129) :- #0.339.
link(129,42) :- #0.428.
link(42,136) :- #0.762.
link(136,42) :- #0.748.
link(43,54) :- #0.054.
link(54,43) :- #0.944.
link(43,61) :- #0.013.
link(61,43) :- #0.971.
link(43,71) :- #0.777.
link(71,43) :- #0.344.
link(43,77) :- #0.401.
link(77,43) :- #0.579.
link(43,79) :- #0.53.
link(79,43) :- #0.348.
link(43,82) :- #0.656.
link(82,43) :- #0.397.
link(43,84) :- #0.22.
link(84,43) :- #0.164.
link(43,91) :- #0.242.
link(91,43) :- #0.096.
link(43,99) :- #0.469.
link(99,43) :- #0.383.
link(43,101) :- #0.773.
link(101,43) :- #0.883.
link(43,107) :- #0.532.
link(107,43) :- #0.784.
link(43,130) :- #0.52.
link(130,43) :- #0.199.
link(43,139) :- #0.799.
link(139,43) :- #0.964.
link(44,45) :- #0.355.
link(45,44) :- #0.991.
link(44,47) :- #0.095.
link(47,44) :- #0.088.
link(44,64) :- #0.903.
link(64,44) :- #0.999.
link(44,71) :- #0.411.
link(71,44) :- #0.971.
link(44,88) :- #0.432.
link(88,44) :- #0.765.
link(44,90) :- #0.112.
link(90,44) :- #0.99.
link(44,93) :- #0.116.
link(93,44) :- #0.211.
link(44,101) :- #0.276.
link(101,44) :- #0.537.
link(44,112) :- #0.356.
link(112,44) :- #0.889.
link(44,123) :- #0.757.
link(123,44) :- #0.648.
link(45,52) :- #0.972.
link(52,45) :- #0.997.
link(45,69) :- #0.498.
link(69,45) :- #0.72.
link(45,81) :- #0.584.
link(81,45) :- #0.696.
link(45,91) :- #0.565.
link(91,45) :- #0.546.
link(45,94) :- #0.65.
link(94,45) :- #0.813.
link(45,119) :- #0.387.
link(119,45) :- #0.19.
link(45,135) :- #0.387.
link(135,45) :- #0.906.
link(46,47) :- #0.713.
link(47,46) :- #0.834.
link(46,49) :- #0.603.
link(49,46) :- #0.633.
link(46,61) :- #0.283.
link(61,46) :- #0.026.
link(46,73) :- #0.874.
link(73,46) :- #0.167.
link(46,85) :- #0.063.
link(85,46) :- #0.794.
link(46,104) :- #0.196.
link(104,46) :- #0.683.
link(46,106) :- #0.835.
link(106,46) :- #0.443.
link(46,110) :- #0.399.
link(110,46) :- #0.189.
link(46,115) :- #0.919.
link(115,46) :- #0.544.
link(46,120) :- #0.991.
link(120,46) :- #0.754.
link(46,124) :- #0.925.
link(124,46) :- #0.305.
link(46,127) :- #0.714.
link(127,46) :- #0.469.
link(47,64) :- #0.45.
link(64,47) :- #0.121.
link(47,66) :- #0.667.
link(66,47) :- #0.962.
link(47,75) :- #0.198.
link(75,47) :- #0.552.
link(47,81) :- #0.201.
link(81,47) :- #0.445.
link(47,97) :- #0.67.
link(97,47) :- #0.899.
link(47,117) :- #0.671.
link(117,47) :- #0.804.
link(47,129) :- #0.45.
link(129,47) :- #0.274.
link(47,139) :- #0.138.
link(139,47) :- #0.144.
link(48,49) :- #0.645.
link(49,48) :- #0.906.
link(48,51) :- #0.068.
link(51,48) :- #0.269.
link(48,62) :- #0.737.
link(62,48) :- #0.
link(48,64) :- #0.239.
link(64,48) :- #0.295.
link(48,67) :- #0.357.
link(67,48) :- #0.956.
link(48,96) :- #0.515.
link(96,48) :- #0.747.
link(48,97) :- #0.142.
link(97,48) :- #0.937.
link(48,109) :- #0.619.
link(109,48) :- #0.201.
link(48,122) :- #0.26.
link(122,48) :- #0.695.
link(48,128) :- #0.928.
link(128,48) :- #0.503.
link(48,134) :- #0.577.
link(134,48) :- #0.29.
link(48,137) :- #0.969.
link(137,48) :- #0.581.
link(49,73) :- #0.103.
link(73,49) :- #0.566.
link(49,77) :- #0.203.
link(77,49) :- #0.497.
link(49,80) :- #0.876.
link(80,49) :- #0.533.
link(49,120) :- #0.924.
link(120,49) :- #0.032.
link(49,124) :- #0.057.
link(124,49) :- #0.468.
link(49,126) :- #0.312.
link(126,49) :- #0.429.
link(49,129) :- #0.696.
link(129,49) :- #0.443.
link(50,73) :- #0.54.
link(73,50) :- #0.691.
link(50,89) :- #0.499.
link(89,50) :- #0.32.
link(50,111) :- #0.182.
link(111,50) :- #0.974.
link(50,118) :- #0.429.
link(118,50) :- #0.01.
link(50,129) :- #0.36.
link(129,50) :- #0.221.
link(51,52) :- #0.091.
link(52,51) :- #0.087.
link(51,53) :- #0.049.
link(53,51) :- #0.307.
link(51,63) :- #0.394.
link(63,51) :- #0.88.
link(51,68) :- #0.735.
link(68,51) :- #0.212.
link(51,75) :- #0.937.
link(75,51) :- #0.838.
link(51,86) :- #0.383.
link(86,51) :- #0.188.
link(51,89) :- #0.089.
link(89,51) :- #0.785.
link(51,93) :- #0.97.
link(93,51) :- #0.689.
link(51,98) :- #0.667.
link(98,51) :- #0.282.
link(51,100) :- #0.067.
link(100,51) :- #0.074.
link(51,108) :- #0.168.
link(108,51) :- #0.579.
link(51,110) :- #0.382.
link(110,51) :- #0.486.
link(51,115) :- #0.282.
link(115,51) :- #0.848.
link(51,117) :- #0.222.
link(117,51) :- #0.948.
link(51,135) :- #0.094.
link(135,51) :- #0.837.
link(51,139) :- #0.523.
link(139,51) :- #0.859.
link(52,62) :- #0.464.
link(62,52) :- #0.76.
link(52,70) :- #0.997.
link(70,52) :- #0.816.
link(52,91) :- #0.169.
link(91,52) :- #0.68.
link(52,99) :- #0.698.
link(99,52) :- #0.879.
link(52,100) :- #0.851.
link(100,52) :- #0.791.
link(52,101) :- #0.643.
link(101,52) :- #0.107.
link(53,67) :- #0.709.
link(67,53) :- #0.43.
link(53,68) :- #0.378.
link(68,53) :- #0.8.
link(53,106) :- #0.447.
link(106,53) :- #0.295.
link(53,116) :- #0.42.
link(116,53) :- #0.554.
link(53,121) :- #0.674.
link(121,53) :- #0.943.
link(53,122) :- #0.259.
link(122,53) :- #0.837.
link(53,130) :- #0.972.
link(130,53) :- #0.922.
link(53,131) :- #0.235.
link(131,53) :- #0.448.
link(53,132) :- #0.005.
link(132,53) :- #0.969.
link(54,58) :- #0.558.
link(58,54) :- #0.516.
link(54,65) :- #0.425.
link(65,54) :- #0.898.
link(54,67) :- #0.413.
link(67,54) :- #0.583.
link(54,76) :- #0.225.
link(76,54) :- #0.713.
link(54,90) :- #0.562.
link(90,54) :- #0.029.
link(54,99) :- #0.571.
link(99,54) :- #0.126.
link(54,103) :- #0.684.
link(103,54) :- #0.599.
link(54,125) :- #0.611.
link(125,54) :- #0.809.
link(55,67) :- #0.604.
link(67,55) :- #0.846.
link(55,73) :- #0.367.
link(73,55) :- #0.397.
link(55,92) :- #0.289.
link(92,55) :- #0.873.
link(55,96) :- #0.4.
link(96,55) :- #0.325.
link(55,126) :- #0.39.
link(126,55) :- #0.167.
link(55,132) :- #0.561.
link(132,55) :- #0.927.
link(55,134) :- #0.084.
link(134,55) :- #0.613.
link(55,139) :- #0.023.
link(139,55) :- #0.028.
link(56,66) :- #0.057.
link(66,56) :- #0.652.
link(56,88) :- #0.852.
link(88,56) :- #0.054.
link(56,94) :- #0.671.
link(94,56) :- #0.286.
link(56,98) :- #0.349.
link(98,56) :- #0.071.
link(56,107) :- #0.423.
link(107,56) :- #0.3.
link(56,116) :- #0.998.
link(116,56) :- #0.408.
link(56,119) :- #0.869.
link(119,56) :- #0.075.
link(56,129) :- #0.244.
link(129,56) :- #0.464.
link(56,133) :- #0.634.
link(133,56) :- #0.236.
link(57,66) :- #0.244.
link(66,57) :- #0.037.
link(57,84) :- #0.293.
link(84,57) :- #0.617.
link(57,89) :- #0.558.
link(89,57) :- #0.184.
link(57,113) :- #0.821.
link(113,57) :- #0.658.
link(58,59) :- #0.249.
link(59,58) :- #0.022.
link(58,67) :- #0.403.
link(67,58) :- #0.884.
link(58,72) :- #0.822.
link(72,58) :- #0.539.
link(58,74) :- #0.445.
link(74,58) :- #0.186.
link(58,86) :- #0.477.
link(86,58) :- #0.864.
link(58,87) :- #0.181.
link(87,58) :- #0.703.
link(58,101) :- #0.486.
link(101,58) :- #0.455.
link(58,109) :- #0.714.
link(109,58) :- #0.357.
link(58,131) :- #0.667.
link(131,58) :- #0.501.
link(58,137) :- #0.47.
link(137,58) :- #0.071.
link(59,63) :- #0.583.
link(63,59) :- #0.666.
link(59,66) :- #0.825.
link(66,59) :- #0.091.
link(59,69) :- #0.553.
link(69,59) :- #0.159.
link(59,79) :- #0.104.
link(79,59) :- #0.116.
link(59,93) :- #0.025.
link(93,59) :- #0.433.
link(59,100) :- #0.832.
link(100,59) :- #0.536.
link(59,108) :- #0.504.
link(108,59) :- #0.358.
link(59,115) :- #0.215.
link(115,59) :- #0.297.
link(59,117) :- #0.606.
link(117,59) :- #0.266.
link(59,128) :- #0.606.
link(128,59) :- #0.8.
link(59,131) :- #0.11.
link(131,59) :- #0.321.
link(59,139) :- #0.429.
link(139,59) :- #0.177.
link(60,63) :- #0.943.
link(63,60) :- #0.337.
link(60,65) :- #0.701.
link(65,60) :- #0.745.
link(60,69) :- #0.043.
link(69,60) :- #0.686.
link(60,71) :- #0.28.
link(71,60) :- #0.899.
link(60,76) :- #0.24.
link(76,60) :- #0.687.
link(60,77) :- #0.933.
link(77,60) :- #0.197.
link(60,78) :- #0.692.
link(78,60) :- #0.948.
link(60,81) :- #0.799.
link(81,60) :- #0.322.
link(60,88) :- #0.743.
link(88,60) :- #0.109.
link(60,96) :- #0.146.
link(96,60) :- #0.636.
link(60,99) :- #0.211.
link(99,60) :- #0.234.
link(60,102) :- #0.166.
link(102,60) :- #0.62.
link(60,115) :- #0.224.
link(115,60) :- #0.554.
link(60,120) :- #0.928.
link(120,60) :- #0.654.
link(61,67) :- #0.565.
link(67,61) :- #0.123.
link(61,69) :- #0.251.
link(69,61) :- #0.037.
link(61,71) :- #0.614.
link(71,61) :- #0.26.
link(61,89) :- #0.025.
link(89,61) :- #0.293.
link(61,90) :- #0.135.
link(90,61) :- #0.981.
link(61,96) :- #0.095.
link(96,61) :- #0.396.
link(61,118) :- #0.2.
link(118,61) :- #0.335.
link(62,63) :- #0.808.
link(63,62) :- #0.616.
link(62,77) :- #0.202.
link(77,62) :- #0.898.
link(62,99) :- #0.689.
link(99,62) :- #0.909.
link(62,106) :- #0.395.
link(106,62) :- #0.42.
link(62,128) :- #0.434.
link(128,62) :- #0.754.
link(62,133) :- #0.396.
link(133,62) :- #0.69.
link(63,80) :- #0.874.
link(80,63) :- #0.836.
link(63,81) :- #0.174.
link(81,63) :- #0.171.
link(63,87) :- #0.277.
link(87,63) :- #0.016.
link(63,104) :- #0.801.
link(104,63) :- #0.585.
link(63,113) :- #0.848.
link(113,63) :- #0.502.
link(63,128) :- #0.73.
link(128,63) :- #0.757.
link(64,73) :- #0.802.
link(73,64) :- #0.545.
link(64,75) :- #0.961.
link(75,64) :- #0.144.
link(64,89) :- #0.552.
link(89,64) :- #0.269.
link(64,100) :- #0.724.
link(100,64) :- #0.233.
link(64,111) :- #0.271.
link(111,64) :- #0.449.
link(64,114) :- #0.446.
link(114,64) :- #0.694.
link(64,123) :- #0.142.
link(123,64) :- #0.101.
link(64,126) :- #0.846.
link(126,64) :- #0.668.
link(64,128) :- #0.626.
link(128,64) :- #0.29.
link(65,77) :- #0.037.
link(77,65) :- #0.056.
link(65,91) :- #0.881.
link(91,65) :- #0.482.
link(65,97) :- #0.008.
link(97,65) :- #0.16.
link(65,105) :- #0.401.
link(105,65) :- #0.299.
link(65,121) :- #0.771.
link(121,65) :- #0.616.
link(65,123) :- #0.044.
link(123,65) :- #0.554.
link(65,132) :- #0.62.
link(132,65) :- #0.407.
link(65,136) :- #0.765.
link(136,65) :- #0.726.
link(65,137) :- #0.33.
link(137,65) :- #0.87.
link(66,71) :- #0.834.
link(71,66) :- #0.544.
link(66,102) :- #0.875.
link(102,66) :- #0.358.
link(66,104) :- #0.661.
link(104,66) :- #0.272.
link(66,117) :- #0.249.
link(117,66) :- #0.407.
link(66,126) :- #0.894.
link(126,66) :- #0.718.
link(66,140) :- #0.861.
link(140,66) :- #0.557.
link(67,71) :- #0.521.
link(71,67) :- #0.664.
link(67,86) :- #0.452.
link(86,67) :- #0.922.
link(67,90) :- #0.734.
link(90,67) :- #0.326.
link(67,97) :- #0.622.
link(97,67) :- #0.188.
link(67,111) :- #0.248.
link(111,67) :- #0.007.
link(68,69) :- #0.466.
link(69,68) :- #0.26.
link(68,90) :- #0.273.
link(90,68) :- #0.283.
link(68,91) :- #0.999.
link(91,68) :- #0.513.
link(68,132) :- #0.964.
link(132,68) :- #0.746.
link(68,140) :- #0.463.
link(140,68) :- #0.684.
link(69,123) :- #0.732.
link(123,69) :- #0.607.
link(69,128) :- #0.205.
link(128,69) :- #0.338.
link(69,134) :- #0.561.
link(134,69) :- #0.724.
link(69,135) :- #0.985.
link(135,69) :- #0.515.
link(69,140) :- #0.346.
link(140,69) :- #0.945.
link(70,78) :- #0.581.
link(78,70) :- #0.374.
link(70,79) :- #0.195.
link(79,70) :- #0.029.
link(70,80) :- #0.778.
link(80,70) :- #0.069.
link(70,89) :- #0.669.
link(89,70) :- #0.897.
link(70,99) :- #0.951.
link(99,70) :- #0.905.
link(70,115) :- #0.723.
link(115,70) :- #0.092.
link(70,116) :- #0.681.
link(116,70) :- #0.313.
link(70,121) :- #0.811.
link(121,70) :- #0.211.
link(71,74) :- #0.274.
link(74,71) :- #0.916.
link(71,97) :- #0.516.
link(97,71) :- #0.741.
link(71,100) :- #0.945.
link(100,71) :- #0.016.
link(71,122) :- #0.584.
link(122,71) :- #0.343.
link(71,137) :- #0.077.
link(137,71) :- #0.988.
link(72,75) :- #0.203.
link(75,72) :- #0.755.
link(72,79) :- #0.634.
link(79,72) :- #0.23.
link(72,85) :- #0.354.
link(85,72) :- #0.325.
link(72,88) :- #0.28.
link(88,72) :- #0.552.
link(72,91) :- #0.712.
link(91,72) :- #0.761.
link(72,96) :- #0.017.
link(96,72) :- #0.827.
link(72,122) :- #0.406.
link(122,72) :- #0.362.
link(72,136) :- #0.555.
link(136,72) :- #0.801.
link(73,78) :- #0.365.
link(78,73) :- #0.222.
link(73,95) :- #0.978.
link(95,73) :- #0.495.
link(73,102) :- #0.747.
link(102,73) :- #0.075.
link(73,126) :- #0.362.
link(126,73) :- #0.431.
link(73,130) :- #0.899.
link(130,73) :- #0.641.
link(74,80) :- #0.509.
link(80,74) :- #0.979.
link(74,92) :- #0.562.
link(92,74) :- #0.873.
link(74,94) :- #0.138.
link(94,74) :- #0.619.
link(74,105) :- #0.041.
link(105,74) :- #0.04.
link(74,123) :- #0.284.
link(123,74) :- #0.644.
link(74,126) :- #0.999.
link(126,74) :- #0.477.
link(74,138) :- #0.882.
link(138,74) :- #0.109.
link(75,84) :- #0.64.
link(84,75) :- #0.24.
link(75,88) :- #0.183.
link(88,75) :- #0.384.
link(75,90) :- #0.568.
link(90,75) :- #0.25.
link(75,100) :- #0.592.
link(100,75) :- #0.072.
link(75,113) :- #0.443.
link(113,75) :- #0.462.
link(75,115) :- #0.362.
link(115,75) :- #0.695.
link(75,120) :- #0.184.
link(120,75) :- #0.6.
link(75,133) :- #0.542.
link(133,75) :- #0.417.
link(75,135) :- #0.306.
link(135,75) :- #0.283.
link(76,84) :- #0.149.
link(84,76) :- #0.324.
link(76,108) :- #0.829.
link(108,76) :- #0.393.
link(76,123) :- #0.428.
link(123,76) :- #0.585.
link(76,138) :- #0.007.
link(138,76) :- #0.045.
link(77,97) :- #0.596.
link(97,77) :- #0.201.
link(77,101) :- #0.856.
link(101,77) :- #0.03.
link(77,102) :- #0.755.
link(102,77) :- #0.473.
link(77,103) :- #0.859.
link(103,77) :- #0.412.
link(77,114) :- #0.013.
link(114,77) :- #0.527.
link(77,115) :- #0.203.
link(115,77) :- #0.524.
link(77,118) :- #0.698.
link(118,77) :- #0.989.
link(77,122) :- #0.994.
link(122,77) :- #0.857.
link(77,135) :- #0.157.
link(135,77) :- #0.781.
link(77,139) :- #0.189.
link(139,77) :- #0.728.
link(78,79) :- #0.811.
link(79,78) :- #0.972.
link(78,99) :- #0.544.
link(99,78) :- #0.55.
link(78,113) :- #0.07.
link(113,78) :- #0.104.
link(79,92) :- #0.065.
link(92,79) :- #0.605.
link(79,99) :- #0.643.
link(99,79) :- #0.596.
link(79,102) :- #0.938.
link(102,79) :- #0.26.
link(79,110) :- #0.729.
link(110,79) :- #0.968.
link(79,120) :- #0.24.
link(120,79) :- #0.286.
link(79,123) :- #0.272.
link(123,79) :- #0.177.
link(79,133) :- #0.176.
link(133,79) :- #0.636.
link(80,122) :- #0.773.
link(122,80) :- #0.335.
link(81,88) :- #0.925.
link(88,81) :- #0.498.
link(81,99) :- #0.253.
link(99,81) :- #0.268.
link(81,104) :- #0.268.
link(104,81) :- #0.433.
link(81,109) :- #0.596.
link(109,81) :- #0.477.
link(81,112) :- #0.974.
link(112,81) :- #0.834.
link(81,138) :- #0.27.
link(138,81) :- #0.263.
link(82,100) :- #0.986.
link(100,82) :- #0.056.
link(82,103) :- #0.969.
link(103,82) :- #0.511.
link(82,124) :- #0.842.
link(124,82) :- #0.246.
link(82,127) :- #0.036.
link(127,82) :- #0.273.
link(83,101) :- #0.683.
link(101,83) :- #0.092.
link(83,106) :- #0.213.
link(106,83) :- #0.239.
link(83,122) :- #0.95.
link(122,83) :- #0.104.
link(83,124) :- #0.636.
link(124,83) :- #0.937.
link(83,135) :- #0.24.
link(135,83) :- #0.324.
link(83,136) :- #0.641.
link(136,83) :- #0.306.
link(83,139) :- #0.167.
link(139,83) :- #0.109.
link(84,101) :- #0.546.
link(101,84) :- #0.946.
link(84,110) :- #0.117.
link(110,84) :- #0.103.
link(84,116) :- #0.617.
link(116,84) :- #0.803.
link(84,120) :- #0.817.
link(120,84) :- #0.404.
link(84,133) :- #0.027.
link(133,84) :- #0.477.
link(84,134) :- #0.072.
link(134,84) :- #0.853.
link(84,138) :- #0.143.
link(138,84) :- #0.419.
link(84,139) :- #0.379.
link(139,84) :- #0.222.
link(85,98) :- #0.468.
link(98,85) :- #0.467.
link(85,113) :- #0.38.
link(113,85) :- #0.91.
link(85,118) :- #0.291.
link(118,85) :- #0.945.
link(85,122) :- #0.998.
link(122,85) :- #0.504.
link(85,125) :- #0.487.
link(125,85) :- #0.613.
link(85,128) :- #0.257.
link(128,85) :- #0.852.
link(85,140) :- #0.168.
link(140,85) :- #0.429.
link(86,88) :- #0.044.
link(88,86) :- #0.026.
link(86,105) :- #0.327.
link(105,86) :- #0.262.
link(86,106) :- #0.793.
link(106,86) :- #0.989.
link(86,121) :- #0.359.
link(121,86) :- #0.588.
link(86,124) :- #0.226.
link(124,86) :- #0.692.
link(86,129) :- #0.116.
link(129,86) :- #0.907.
link(86,137) :- #0.863.
link(137,86) :- #0.686.
link(87,93) :- #0.935.
link(93,87) :- #0.114.
link(87,94) :- #0.147.
link(94,87) :- #0.826.
link(87,101) :- #0.094.
link(101,87) :- #0.831.
link(87,118) :- #0.414.
link(118,87) :- #0.76.
link(87,119) :- #0.203.
link(119,87) :- #0.383.
link(87,133) :- #0.819.
link(133,87) :- #0.497.
link(87,140) :- #0.765.
link(140,87) :- #0.539.
link(88,90) :- #0.004.
link(90,88) :- #0.268.
link(88,98) :- #0.332.
link(98,88) :- #0.692.
link(88,111) :- #0.336.
link(111,88) :- #0.119.
link(88,131) :- #0.267.
link(131,88) :- #0.037.
link(88,137) :- #0.683.
link(137,88) :- #0.647.
link(89,96) :- #0.878.
link(96,89) :- #0.541.
link(89,99) :- #0.83.
link(99,89) :- #0.846.
link(89,102) :- #0.942.
link(102,89) :- #0.662.
link(89,135) :- #0.142.
link(135,89) :- #0.274.
link(90,104) :- #0.01.
link(104,90) :- #0.707.
link(90,114) :- #0.841.
link(114,90) :- #0.57.
link(90,117) :- #0.207.
link(117,90) :- #0.134.
link(90,118) :- #0.552.
link(118,90) :- #0.236.
link(90,137) :- #0.942.
link(137,90) :- #0.767.
link(90,138) :- #0.482.
link(138,90) :- #0.637.
link(90,140) :- #0.351.
link(140,90) :- #0.739.
link(91,95) :- #0.648.
link(95,91) :- #0.283.
link(91,96) :- #0.661.
link(96,91) :- #0.539.
link(91,101) :- #0.078.
link(101,91) :- #0.762.
link(91,109) :- #0.798.
link(109,91) :- #0.067.
link(91,125) :- #0.467.
link(125,91) :- #0.708.
link(91,127) :- #0.555.
link(127,91) :- #0.397.
link(91,135) :- #0.521.
link(135,91) :- #0.009.
link(92,102) :- #0.737.
link(102,92) :- #0.512.
link(92,119) :- #0.574.
link(119,92) :- #0.129.
link(92,132) :- #0.963.
link(132,92) :- #0.753.
link(92,137) :- #0.223.
link(137,92) :- #0.101.
link(93,126) :- #0.714.
link(126,93) :- #0.847.
link(93,130) :- #0.744.
link(130,93) :- #0.009.
link(94,100) :- #0.96.
link(100,94) :- #0.084.
link(94,101) :- #0.383.
link(101,94) :- #0.791.
link(94,110) :- #0.973.
link(110,94) :- #0.526.
link(94,126) :- #0.86.
link(126,94) :- #0.044.
link(94,129) :- #0.947.
link(129,94) :- #0.766.
link(95,100) :- #0.266.
link(100,95) :- #0.497.
link(95,102) :- #0.858.
link(102,95) :- #0.011.
link(95,113) :- #0.202.
link(113,95) :- #0.426.
link(95,114) :- #0.722.
link(114,95) :- #0.623.
link(95,122) :- #0.328.
link(122,95) :- #0.893.
link(96,99) :- #0.546.
link(99,96) :- #0.357.
link(96,119) :- #0.405.
link(119,96) :- #0.412.
link(96,135) :- #0.755.
link(135,96) :- #0.551.
link(96,137) :- #0.316.
link(137,96) :- #0.721.
link(97,101) :- #0.765.
link(101,97) :- #0.472.
link(97,109) :- #0.114.
link(109,97) :- #0.523.
link(97,117) :- #0.326.
link(117,97) :- #0.779.
link(97,120) :- #0.922.
link(120,97) :- #0.641.
link(97,123) :- #0.89.
link(123,97) :- #0.966.
link(98,132) :- #0.738.
link(132,98) :- #0.19.
link(99,108) :- #0.041.
link(108,99) :- #0.353.
link(99,119) :- #0.177.
link(119,99) :- #0.535.
link(99,122) :- #0.024.
link(122,99) :- #0.285.
link(99,124) :- #0.826.
link(124,99) :- #0.635.
link(99,132) :- #0.994.
link(132,99) :- #0.194.
link(100,101) :- #0.527.
link(101,100) :- #0.32.
link(100,131) :- #0.223.
link(131,100) :- #0.826.
link(101,103) :- #0.223.
link(103,101) :- #0.322.
link(101,117) :- #0.493.
link(117,101) :- #0.638.
link(102,104) :- #0.469.
link(104,102) :- #0.006.
link(102,128) :- #0.021.
link(128,102) :- #0.12.
link(102,137) :- #0.612.
link(137,102) :- #0.341.
link(102,140) :- #0.853.
link(140,102) :- #0.745.
link(104,114) :- #0.676.
link(114,104) :- #0.401.
link(104,116) :- #0.829.
link(116,104) :- #0.737.
link(104,122) :- #0.022.
link(122,104) :- #0.703.
link(104,125) :- #0.226.
link(125,104) :- #0.745.
link(104,131) :- #0.801.
link(131,104) :- #0.61.
link(105,125) :- #0.545.
link(125,105) :- #0.465.
link(105,132) :- #0.599.
link(132,105) :- #0.624.
link(105,134) :- #0.799.
link(134,105) :- #0.93.
link(105,135) :- #0.496.
link(135,105) :- #0.245.
link(106,129) :- #0.95.
link(129,106) :- #0.503.
link(106,130) :- #0.26.
link(130,106) :- #0.522.
link(106,138) :- #0.024.
link(138,106) :- #0.975.
link(106,140) :- #0.783.
link(140,106) :- #0.018.
link(107,111) :- #0.072.
link(111,107) :- #0.859.
link(107,120) :- #0.855.
link(120,107) :- #0.658.
link(107,121) :- #0.673.
link(121,107) :- #0.14.
link(107,129) :- #0.555.
link(129,107) :- #0.255.
link(107,130) :- #0.712.
link(130,107) :- #0.853.
link(107,134) :- #0.113.
link(134,107) :- #0.034.
link(107,138) :- #0.674.
link(138,107) :- #0.069.
link(108,124) :- #0.883.
link(124,108) :- #0.683.
link(109,126) :- #0.764.
link(126,109) :- #0.686.
link(109,135) :- #0.959.
link(135,109) :- #0.408.
link(109,138) :- #0.627.
link(138,109) :- #0.911.
link(110,126) :- #0.8.
link(126,110) :- #0.746.
link(110,130) :- #0.78.
link(130,110) :- #0.292.
link(111,114) :- #0.755.
link(114,111) :- #0.096.
link(111,124) :- #0.878.
link(124,111) :- #0.325.
link(111,132) :- #0.403.
link(132,111) :- #0.619.
link(112,120) :- #0.493.
link(120,112) :- #0.302.
link(113,114) :- #0.637.
link(114,113) :- #0.479.
link(113,116) :- #0.771.
link(116,113) :- #0.511.
link(113,117) :- #0.45.
link(117,113) :- #0.03.
link(113,122) :- #0.636.
link(122,113) :- #0.778.
link(114,117) :- #0.398.
link(117,114) :- #0.017.
link(114,123) :- #0.488.
link(123,114) :- #0.796.
link(114,129) :- #0.091.
link(129,114) :- #0.986.
link(115,116) :- #0.439.
link(116,115) :- #0.553.
link(115,128) :- #0.31.
link(128,115) :- #0.925.
link(115,129) :- #0.48.
link(129,115) :- #0.444.
link(115,136) :- #0.024.
link(136,115) :- #0.484.
link(116,121) :- #0.691.
link(121,116) :- #0.394.
link(116,123) :- #0.858.
link(123,116) :- #0.549.
link(116,127) :- #0.036.
link(127,116) :- #0.321.
link(117,127) :- #0.168.
link(127,117) :- #0.377.
link(118,119) :- #0.052.
link(119,118) :- #0.951.
link(118,127) :- #0.613.
link(127,118) :- #0.941.
link(119,124) :- #0.975.
link(124,119) :- #0.741.
link(119,127) :- #0.866.
link(127,119) :- #0.577.
link(119,136) :- #0.628.
link(136,119) :- #0.411.
link(119,138) :- #0.368.
link(138,119) :- #0.075.
link(119,139) :- #0.821.
link(139,119) :- #0.341.
link(120,131) :- #0.776.
link(131,120) :- #0.919.
link(120,133) :- #0.455.
link(133,120) :- #0.049.
link(120,134) :- #0.235.
link(134,120) :- #0.633.
link(121,131) :- #0.027.
link(131,121) :- #0.108.
link(121,133) :- #0.835.
link(133,121) :- #0.143.
link(121,136) :- #0.667.
link(136,121) :- #0.426.
link(121,138) :- #0.591.
link(138,121) :- #0.331.
link(121,139) :- #0.023.
link(139,121) :- #0.728.
link(122,130) :- #0.128.
link(130,122) :- #0.579.
link(122,139) :- #0.554.
link(139,122) :- #0.803.
link(123,124) :- #0.661.
link(124,123) :- #0.314.
link(123,135) :- #0.911.
link(135,123) :- #0.309.
link(123,136) :- #0.044.
link(136,123) :- #0.379.
link(124,127) :- #0.675.
link(127,124) :- #0.454.
link(125,138) :- #0.039.
link(138,125) :- #0.199.
link(126,134) :- #0.583.
link(134,126) :- #0.109.
link(126,136) :- #0.868.
link(136,126) :- #0.297.
link(127,130) :- #0.436.
link(130,127) :- #0.951.
link(127,131) :- #0.631.
link(131,127) :- #0.016.
link(127,139) :- #0.97.
link(139,127) :- #0.355.
link(128,133) :- #0.79.
link(133,128) :- #0.335.
link(128,136) :- #0.295.
link(136,128) :- #0.167.
link(129,131) :- #0.357.
link(131,129) :- #0.41.
link(129,136) :- #0.85.
link(136,129) :- #0.39.
link(130,134) :- #0.425.
link(134,130) :- #0.831.
link(132,136) :- #0.838.
link(136,132) :- #0.7.
link(132,137) :- #0.425.
link(137,132) :- #0.149.
link(133,136) :- #0.4.
link(136,133) :- #0.367.
link(134,136) :- #0.076.
link(136,134) :- #0.892.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
